; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i64 7 to i128
  %".10" = udiv i128 %".8", %".9"
  %".11" = trunc i128 %".10" to i64
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = lshr i64 %".11", %".13"
  %".15" = and i64 15, %".14"
  %".16" = or i64 1, %".15"
  %".17" = sub i64 64, %".16"
  %".18" = trunc i64 %".17" to i8
  %".19" = zext i8 %".18" to i64
  %".20" = and i64 %".19", 63
  %".21" = lshr i64 127996265, %".20"
  %".22" = zext i8 3 to i64
  %".23" = and i64 %".22", 63
  %".24" = lshr i64 %".11", %".23"
  %".25" = and i64 15, %".24"
  %".26" = or i64 1, %".25"
  %".27" = trunc i64 %".26" to i8
  %".28" = zext i8 %".27" to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 127996265, %".29"
  %".31" = or i64 %".21", %".30"
  %".32" = zext i8 4 to i64
  %".33" = and i64 %".32", 63
  %".34" = lshr i64 %".31", %".33"
  %".35" = and i64 15, %".34"
  %".36" = or i64 1, %".35"
  %".37" = sub i64 64, %".36"
  %".38" = trunc i64 %".37" to i8
  %".39" = zext i8 %".38" to i64
  %".40" = and i64 %".39", 63
  %".41" = lshr i64 %"SymVar_0", %".40"
  %".42" = zext i8 3 to i64
  %".43" = and i64 %".42", 63
  %".44" = lshr i64 %".11", %".43"
  %".45" = and i64 15, %".44"
  %".46" = or i64 1, %".45"
  %".47" = sub i64 64, %".46"
  %".48" = trunc i64 %".47" to i8
  %".49" = zext i8 %".48" to i64
  %".50" = and i64 %".49", 63
  %".51" = lshr i64 127996265, %".50"
  %".52" = zext i8 3 to i64
  %".53" = and i64 %".52", 63
  %".54" = lshr i64 %".11", %".53"
  %".55" = and i64 15, %".54"
  %".56" = or i64 1, %".55"
  %".57" = trunc i64 %".56" to i8
  %".58" = zext i8 %".57" to i64
  %".59" = and i64 %".58", 63
  %".60" = shl i64 127996265, %".59"
  %".61" = or i64 %".51", %".60"
  %".62" = zext i8 4 to i64
  %".63" = and i64 %".62", 63
  %".64" = lshr i64 %".61", %".63"
  %".65" = and i64 15, %".64"
  %".66" = or i64 1, %".65"
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = shl i64 %"SymVar_0", %".69"
  %".71" = or i64 %".41", %".70"
  %".72" = and i64 31, %".71"
  %".73" = zext i8 4 to i64
  %".74" = and i64 %".73", 63
  %".75" = shl i64 %".72", %".74"
  %".76" = or i64 %".75", %".11"
  %".77" = and i64 15, %".76"
  %".78" = zext i8 2 to i64
  %".79" = and i64 %".78", 63
  %".80" = shl i64 %".77", %".79"
  %".81" = or i64 %".80", %".76"
  %".82" = and i64 15, %".81"
  %".83" = or i64 1, %".82"
  %".84" = sub i64 64, %".83"
  %".85" = trunc i64 %".84" to i8
  %".86" = zext i8 %".85" to i64
  %".87" = and i64 %".86", 63
  %".88" = lshr i64 %".4", %".87"
  %".89" = and i64 15, %".81"
  %".90" = or i64 1, %".89"
  %".91" = trunc i64 %".90" to i8
  %".92" = zext i8 %".91" to i64
  %".93" = and i64 %".92", 63
  %".94" = shl i64 %".4", %".93"
  %".95" = or i64 %".88", %".94"
  %".96" = sext i64 343000538 to i128
  %".97" = sub i64 %"SymVar_0", 696182945
  %".98" = sext i64 %".97" to i128
  %".99" = mul i128 %".96", %".98"
  %".100" = trunc i128 %".99" to i64
  %".101" = lshr i64 %".100", 16
  %".102" = trunc i64 %".101" to i8
  %".103" = zext i8 %".102" to i16
  %".104" = lshr i64 %".100", 24
  %".105" = trunc i64 %".104" to i8
  %".106" = zext i8 %".105" to i16
  %".107" = shl i16 %".106", 8
  %".108" = or i16 %".103", %".107"
  %".109" = zext i16 %".108" to i32
  %".110" = zext i32 %".109" to i64
  %".111" = trunc i64 %".110" to i16
  %".112" = zext i16 %".111" to i32
  %".113" = zext i32 %".112" to i64
  %".114" = trunc i64 %".113" to i16
  %".115" = zext i16 %".114" to i32
  %".116" = zext i32 %".115" to i64
  %".117" = trunc i64 %".116" to i16
  %".118" = zext i16 %".117" to i32
  %".119" = zext i32 %".118" to i64
  %".120" = trunc i64 %".119" to i16
  %".121" = zext i16 %".120" to i32
  %".122" = zext i32 %".121" to i64
  %".123" = trunc i64 %".122" to i16
  %".124" = zext i16 %".123" to i32
  %".125" = zext i32 %".124" to i64
  %".126" = trunc i64 %".125" to i16
  %".127" = zext i16 %".126" to i32
  %".128" = zext i32 %".127" to i64
  %".129" = trunc i64 %".128" to i16
  %".130" = zext i16 %".129" to i32
  %".131" = zext i32 %".130" to i64
  %".132" = trunc i64 %".131" to i16
  %".133" = trunc i16 %".132" to i8
  %".134" = zext i8 %".133" to i64
  %".135" = trunc i64 %".131" to i16
  %".136" = lshr i16 %".135", 8
  %".137" = trunc i16 %".136" to i8
  %".138" = zext i8 %".137" to i64
  %".139" = shl i64 %".138", 8
  %".140" = or i64 %".134", %".139"
  %".141" = lshr i64 %".100", 32
  %".142" = trunc i64 %".141" to i8
  %".143" = zext i8 %".142" to i16
  %".144" = lshr i64 %".100", 40
  %".145" = trunc i64 %".144" to i8
  %".146" = zext i8 %".145" to i16
  %".147" = shl i16 %".146", 8
  %".148" = or i16 %".143", %".147"
  %".149" = zext i16 %".148" to i32
  %".150" = zext i32 %".149" to i64
  %".151" = trunc i64 %".150" to i16
  %".152" = zext i16 %".151" to i32
  %".153" = zext i32 %".152" to i64
  %".154" = trunc i64 %".153" to i16
  %".155" = zext i16 %".154" to i32
  %".156" = zext i32 %".155" to i64
  %".157" = trunc i64 %".156" to i16
  %".158" = zext i16 %".157" to i32
  %".159" = zext i32 %".158" to i64
  %".160" = trunc i64 %".159" to i16
  %".161" = zext i16 %".160" to i32
  %".162" = zext i32 %".161" to i64
  %".163" = trunc i64 %".162" to i16
  %".164" = zext i16 %".163" to i32
  %".165" = zext i32 %".164" to i64
  %".166" = trunc i64 %".165" to i16
  %".167" = zext i16 %".166" to i32
  %".168" = zext i32 %".167" to i64
  %".169" = trunc i64 %".168" to i16
  %".170" = zext i16 %".169" to i32
  %".171" = zext i32 %".170" to i64
  %".172" = trunc i64 %".171" to i16
  %".173" = trunc i16 %".172" to i8
  %".174" = zext i8 %".173" to i64
  %".175" = shl i64 %".174", 16
  %".176" = or i64 %".140", %".175"
  %".177" = trunc i64 %".171" to i16
  %".178" = lshr i16 %".177", 8
  %".179" = trunc i16 %".178" to i8
  %".180" = zext i8 %".179" to i64
  %".181" = shl i64 %".180", 24
  %".182" = or i64 %".176", %".181"
  %".183" = lshr i64 %".100", 48
  %".184" = trunc i64 %".183" to i8
  %".185" = zext i8 %".184" to i16
  %".186" = lshr i64 %".100", 56
  %".187" = trunc i64 %".186" to i8
  %".188" = zext i8 %".187" to i16
  %".189" = shl i16 %".188", 8
  %".190" = or i16 %".185", %".189"
  %".191" = zext i16 %".190" to i32
  %".192" = zext i32 %".191" to i64
  %".193" = trunc i64 %".192" to i16
  %".194" = zext i16 %".193" to i32
  %".195" = zext i32 %".194" to i64
  %".196" = trunc i64 %".195" to i16
  %".197" = zext i16 %".196" to i32
  %".198" = zext i32 %".197" to i64
  %".199" = trunc i64 %".198" to i16
  %".200" = zext i16 %".199" to i32
  %".201" = zext i32 %".200" to i64
  %".202" = trunc i64 %".201" to i16
  %".203" = zext i16 %".202" to i32
  %".204" = zext i32 %".203" to i64
  %".205" = trunc i64 %".204" to i16
  %".206" = zext i16 %".205" to i32
  %".207" = zext i32 %".206" to i64
  %".208" = trunc i64 %".207" to i16
  %".209" = zext i16 %".208" to i32
  %".210" = zext i32 %".209" to i64
  %".211" = trunc i64 %".210" to i16
  %".212" = zext i16 %".211" to i32
  %".213" = zext i32 %".212" to i64
  %".214" = trunc i64 %".213" to i16
  %".215" = zext i16 %".214" to i32
  %".216" = zext i32 %".215" to i64
  %".217" = trunc i64 %".216" to i16
  %".218" = zext i16 %".217" to i32
  %".219" = zext i32 %".218" to i64
  %".220" = trunc i64 %".219" to i16
  %".221" = zext i16 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = trunc i64 %".222" to i16
  %".224" = zext i16 %".223" to i32
  %".225" = zext i32 %".224" to i64
  %".226" = trunc i64 %".225" to i16
  %".227" = zext i16 %".226" to i32
  %".228" = zext i32 %".227" to i64
  %".229" = trunc i64 %".228" to i16
  %".230" = zext i16 %".229" to i32
  %".231" = zext i32 %".230" to i64
  %".232" = trunc i64 %".231" to i16
  %".233" = zext i16 %".232" to i32
  %".234" = zext i32 %".233" to i64
  %".235" = trunc i64 %".234" to i16
  %".236" = zext i16 %".235" to i32
  %".237" = zext i32 %".236" to i64
  %".238" = trunc i64 %".237" to i16
  %".239" = trunc i16 %".238" to i8
  %".240" = zext i8 %".239" to i64
  %".241" = shl i64 %".240", 32
  %".242" = or i64 %".182", %".241"
  %".243" = trunc i64 %".237" to i16
  %".244" = lshr i16 %".243", 8
  %".245" = trunc i16 %".244" to i8
  %".246" = zext i8 %".245" to i64
  %".247" = shl i64 %".246", 40
  %".248" = or i64 %".242", %".247"
  %".249" = trunc i64 %".100" to i8
  %".250" = zext i8 %".249" to i16
  %".251" = lshr i64 %".100", 8
  %".252" = trunc i64 %".251" to i8
  %".253" = zext i8 %".252" to i16
  %".254" = shl i16 %".253", 8
  %".255" = or i16 %".250", %".254"
  %".256" = zext i16 %".255" to i32
  %".257" = zext i32 %".256" to i64
  %".258" = trunc i64 %".257" to i16
  %".259" = zext i16 %".258" to i32
  %".260" = zext i32 %".259" to i64
  %".261" = trunc i64 %".260" to i16
  %".262" = zext i16 %".261" to i32
  %".263" = zext i32 %".262" to i64
  %".264" = trunc i64 %".263" to i16
  %".265" = zext i16 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = trunc i64 %".266" to i16
  %".268" = trunc i16 %".267" to i8
  %".269" = zext i8 %".268" to i64
  %".270" = shl i64 %".269", 48
  %".271" = or i64 %".248", %".270"
  %".272" = trunc i64 %".266" to i16
  %".273" = lshr i16 %".272", 8
  %".274" = trunc i16 %".273" to i8
  %".275" = zext i8 %".274" to i64
  %".276" = shl i64 %".275", 56
  %".277" = or i64 %".271", %".276"
  %".278" = zext i8 2 to i64
  %".279" = and i64 %".278", 63
  %".280" = lshr i64 %".277", %".279"
  %".281" = and i64 15, %".280"
  %".282" = or i64 1, %".281"
  %".283" = sub i64 64, %".282"
  %".284" = trunc i64 %".283" to i8
  %".285" = zext i8 %".284" to i64
  %".286" = and i64 %".285", 63
  %".287" = lshr i64 %".71", %".286"
  %".288" = zext i8 %".133" to i64
  %".289" = zext i8 %".137" to i64
  %".290" = shl i64 %".289", 8
  %".291" = or i64 %".288", %".290"
  %".292" = zext i8 %".173" to i64
  %".293" = shl i64 %".292", 16
  %".294" = or i64 %".291", %".293"
  %".295" = zext i8 %".179" to i64
  %".296" = shl i64 %".295", 24
  %".297" = or i64 %".294", %".296"
  %".298" = zext i8 %".239" to i64
  %".299" = shl i64 %".298", 32
  %".300" = or i64 %".297", %".299"
  %".301" = zext i8 %".245" to i64
  %".302" = shl i64 %".301", 40
  %".303" = or i64 %".300", %".302"
  %".304" = zext i8 %".268" to i64
  %".305" = shl i64 %".304", 48
  %".306" = or i64 %".303", %".305"
  %".307" = zext i8 %".274" to i64
  %".308" = shl i64 %".307", 56
  %".309" = or i64 %".306", %".308"
  %".310" = zext i8 2 to i64
  %".311" = and i64 %".310", 63
  %".312" = lshr i64 %".309", %".311"
  %".313" = and i64 15, %".312"
  %".314" = or i64 1, %".313"
  %".315" = trunc i64 %".314" to i8
  %".316" = zext i8 %".315" to i64
  %".317" = and i64 %".316", 63
  %".318" = shl i64 %".71", %".317"
  %".319" = or i64 %".287", %".318"
  %".320" = zext i8 4 to i64
  %".321" = and i64 %".320", 63
  %".322" = lshr i64 %".319", %".321"
  %".323" = and i64 15, %".322"
  %".324" = or i64 1, %".323"
  %".325" = sub i64 64, %".324"
  %".326" = trunc i64 %".325" to i8
  %".327" = zext i8 %".326" to i64
  %".328" = and i64 %".327", 63
  %".329" = shl i64 %".95", %".328"
  %".330" = and i64 15, %".81"
  %".331" = or i64 1, %".330"
  %".332" = sub i64 64, %".331"
  %".333" = trunc i64 %".332" to i8
  %".334" = zext i8 %".333" to i64
  %".335" = and i64 %".334", 63
  %".336" = lshr i64 %".4", %".335"
  %".337" = and i64 15, %".81"
  %".338" = or i64 1, %".337"
  %".339" = trunc i64 %".338" to i8
  %".340" = zext i8 %".339" to i64
  %".341" = and i64 %".340", 63
  %".342" = shl i64 %".4", %".341"
  %".343" = or i64 %".336", %".342"
  %".344" = zext i8 %".133" to i64
  %".345" = zext i8 %".137" to i64
  %".346" = shl i64 %".345", 8
  %".347" = or i64 %".344", %".346"
  %".348" = zext i8 %".173" to i64
  %".349" = shl i64 %".348", 16
  %".350" = or i64 %".347", %".349"
  %".351" = zext i8 %".179" to i64
  %".352" = shl i64 %".351", 24
  %".353" = or i64 %".350", %".352"
  %".354" = zext i8 %".239" to i64
  %".355" = shl i64 %".354", 32
  %".356" = or i64 %".353", %".355"
  %".357" = zext i8 %".245" to i64
  %".358" = shl i64 %".357", 40
  %".359" = or i64 %".356", %".358"
  %".360" = zext i8 %".268" to i64
  %".361" = shl i64 %".360", 48
  %".362" = or i64 %".359", %".361"
  %".363" = zext i8 %".274" to i64
  %".364" = shl i64 %".363", 56
  %".365" = or i64 %".362", %".364"
  %".366" = zext i8 2 to i64
  %".367" = and i64 %".366", 63
  %".368" = lshr i64 %".365", %".367"
  %".369" = and i64 15, %".368"
  %".370" = or i64 1, %".369"
  %".371" = sub i64 64, %".370"
  %".372" = trunc i64 %".371" to i8
  %".373" = zext i8 %".372" to i64
  %".374" = and i64 %".373", 63
  %".375" = lshr i64 %".71", %".374"
  %".376" = zext i8 %".133" to i64
  %".377" = zext i8 %".137" to i64
  %".378" = shl i64 %".377", 8
  %".379" = or i64 %".376", %".378"
  %".380" = zext i8 %".173" to i64
  %".381" = shl i64 %".380", 16
  %".382" = or i64 %".379", %".381"
  %".383" = zext i8 %".179" to i64
  %".384" = shl i64 %".383", 24
  %".385" = or i64 %".382", %".384"
  %".386" = zext i8 %".239" to i64
  %".387" = shl i64 %".386", 32
  %".388" = or i64 %".385", %".387"
  %".389" = zext i8 %".245" to i64
  %".390" = shl i64 %".389", 40
  %".391" = or i64 %".388", %".390"
  %".392" = zext i8 %".268" to i64
  %".393" = shl i64 %".392", 48
  %".394" = or i64 %".391", %".393"
  %".395" = zext i8 %".274" to i64
  %".396" = shl i64 %".395", 56
  %".397" = or i64 %".394", %".396"
  %".398" = zext i8 2 to i64
  %".399" = and i64 %".398", 63
  %".400" = lshr i64 %".397", %".399"
  %".401" = and i64 15, %".400"
  %".402" = or i64 1, %".401"
  %".403" = trunc i64 %".402" to i8
  %".404" = zext i8 %".403" to i64
  %".405" = and i64 %".404", 63
  %".406" = shl i64 %".71", %".405"
  %".407" = or i64 %".375", %".406"
  %".408" = zext i8 4 to i64
  %".409" = and i64 %".408", 63
  %".410" = lshr i64 %".407", %".409"
  %".411" = and i64 15, %".410"
  %".412" = or i64 1, %".411"
  %".413" = trunc i64 %".412" to i8
  %".414" = zext i8 %".413" to i64
  %".415" = and i64 %".414", 63
  %".416" = lshr i64 %".343", %".415"
  %".417" = or i64 %".329", %".416"
  ret i64 %".417"
}
